Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
21	1 The Distributed Constraint Satisfaction Problem: Formalization and Algorithms IEEE Trans. on Knowledge and DATA Engineering, vol.10, No.5 September 1998 Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwaba Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:16 Constraint programming Constraint satisfaction problem Constraint satisfaction Backtracking Multi-agent system Local consistency Interchangeability algorithm
22	Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach Angelo Oddi1 , Riccardo Rasconi1 , Amedeo Cesta1 , and Stephen F. Smith2 1 Institute of Cognitive Scienc Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-30 21:51:52 Operations research Edsger W. Dijkstra Constraint satisfaction Mathematical optimization Scheduling Heuristic Shortest path problem Local search
23	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
24	KLEE: Effective Testing of Systems Programs Cristian Cadar Joint work with Daniel Dunbar and Dawson Engler April 16th, 2009 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Constraint programming Abstract interpretation Symbolic execution Constraint satisfaction problem Paul Klee
25	Microsoft Word - IBSDM&BI.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:34 Constraint programming Inductive reasoning Reasoning Artificial intelligence Case-based reasoning Critical thinking Constraint satisfaction problem Reasoning system Constraint satisfaction Mathematical optimization Intelligent decision support system Search algorithm
26	Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Software testing Reference Constraint satisfaction problem Const Parameter Concolic testing Constraint logic programming
27	The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-03-18 04:19:11 Logic Mathematics Constraint programming Abstraction Model theory Boolean satisfiability problem Electronic design automation Logic in computer science Complexity of constraint satisfaction Constraint satisfaction problem Satisfiability Binary relation
28	Fifth Competition of Pseudo-Boolean Solvers (PB’10) Call for Solvers and Benchmarks http://www.cril.univ-artois.fr/PB10/ G OAL Like the previous competitions (PB05, PB06, PB07 and PB09), the goal is to assess the state Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2010-05-25 10:09:54 Logic in computer science Combinatorial optimization Operations research Numerical software Maximum satisfiability problem Constraint satisfaction Mathematical optimization Solver Satisfiability Integer programming Constraint Boolean satisfiability problem
29	Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2009-04-29 13:38:11 Theoretical computer science Constraint programming Declarative programming Logic programming Mathematics Model theory Logic in computer science NP-complete problems Constraint satisfaction problem Answer set programming Constraint satisfaction Satisfiability modulo theories
30	1 Potassco: The Potsdam Answer Set Solving Collection Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Marius Schneider Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2011-02-12 03:52:22 Logic programming NP-complete problems Operations research Constraint programming Answer set programming Logic in computer science Boolean satisfiability problem Algorithm Solver Stable model semantics AMPL Constraint satisfaction problem